#!bin/bash

if [ "$1" = "" -o "$1" = "all" ]; then
    cd BenchMark/src/
    make
    cd ../../Servers/src
    make
    cd ../../
fi

if [ "$1" = "clean" ]; then
 cd BenchMark/src/
    make clean
    cd ../../Servers/src
    make clean
    cd ../../
  
fi